Перевод: с английского на русский

с русского на английский

static reliability model

См. также в других словарях:

  • Model Checking — (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für eine gegebene… …   Deutsch Wikipedia

  • Model aircraft — A die cast Boeing 747 400 model. Model aircraft are flying or non flying models of existing or imaginary aircraft using a variety of materials including plastic, diecast metal, polystyrene, balsa wood, foam and fibreglass. Flying designs range… …   Wikipedia

  • Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… …   Wikipedia

  • Model railway scales — This page lists the most important model railway scale standards in the world. Most standards are regional, but some have followers in other parts of the world outside their native region, most notably NEM and NMRA. It should be noted that while… …   Wikipedia

  • Curtiss Model E — Model E The A 1, the United States Navy s first aircraft Role Utility aircraft Manufacturer …   Wikipedia

  • Meta-model (NLP) — This article is about the concept of the meta model in Neuro linguistic programming. For other uses, see Meta model. NLP …   Wikipedia

  • T. V. S. R. Appa Rao — T.V.S.R. Appa Rao is a scientist from India. He is an Emeritus Scientist with over 40 years of experience in Research Development in the areas of structural analysis design, testing, and failure investigations including those due to natural… …   Wikipedia

  • N1 (rocket) — This article is about the Soviet rocket. For the Japanese rocket, see N I rocket N1 N1 L3 rocket on the launchpad at Baikonur Cosmodrome Function Manned lunar carrier rocket Manufacturer OKB 1 Country of origin …   Wikipedia

  • Modelchecking — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für …   Deutsch Wikipedia

  • Modellprüfer — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für …   Deutsch Wikipedia

  • Modellprüfung — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für …   Deutsch Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»